A Cal"culus of Functions· for Program Derivation
نویسنده
چکیده
منابع مشابه
Formal Derivation of Two Parallel Rendering Algorithms
This paper presents the formal deriva tions of two parallel rendering algorithms from a high level speci cation The initial speci cation of the problem is formulated as a functional program A calculational approach is used to derive from the original speci cation two parallel algorithms expressed as networks of communicating processes in Hoare s CSP Both algorithms exploit pipelined parallelism...
متن کاملRecovering Incidence Functions
In incidence calculus inferences are usually made by calculating incidence sets and computing probabilities of formulae based on a given incidence function in an incidence calculus theory Incidence functions are vital for performing any further inference Without the existence of this function many of the features of incidence cal culus will be lost However it is still the case that numerical va...
متن کاملGeneral Derivation of Scaling Functions near Q{phase Transition Points
Scaling relations of characteristic functions in the context of the thermodynami-cal formalism of dynamical systems are considered. Starting from the characteristic equation of the transfer operator a Ginzburg{Landau like expansion in the vicinity of a bifurcation point is proposed. The phase transition based on a doubly degenerated eigenvalue is discussed in detail and explicit expressions for...
متن کاملProduct line process theory
Software product lines (SPLs) facilitate reuse and customization in softwaredevelopment by genuinely addressing the concept of variability. Product Line Cal-culus of Communicating Systems (PL-CCS) is a process calculus for behavioralmodeling of SPLs, in which variability can be explicitly modeled by a binary vari-ant operator. In this paper, we study different notions of behavio...
متن کاملFirst Principles Derivation of Displacement and Stress Function for Three-Dimensional Elastostatic Problems, and Application to the Flexural Analysis of Thick Circular Plates
In this study, stress and displacement functions of the three-dimensional theory of elasticity for homogeneous isotropic bodies are derived from first principles from the differential equations of equilibrium, the generalized stress – strain laws and the geometric relations of strain and displacement. It is found that the stress and displacement functions must be biharmonic functions. The deriv...
متن کامل